// USER TASKS for test of the miniOS kernel.

mini_OS_user.c void usertask1(void)

{

int x,y,z;

x=1;

y=2;

z=x+y;

while(1)

{

printf("TASK1 - a:%P\tb:%p\tc:%p\n", &x,&y,&z);

msleep(1000);

}

}

void usertask2(void)

{

int x,y,z;

x=1;

y=2;

z=x+y;

while(1)

{

printf("TASK2 - a:%P\tb:%p\tc:%p\n", &x,&y,&z);

msleep(1000);

}

}

void usertask3(void)

{

int x,y,z;

x=1;

y=2;

z=x+y;

while(1)

{

printf("TASK3 - a:%P\tb:%p\tc:%p\n", &x,&y,&z);

msleep(1000);

}

}